Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
31	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
32	T HE R EVIEW OF S YMBOLIC L OGIC Volume 2, Number 2, June 2009 PLURALISM IN LOGIC HARTRY FIELD Philosophy Department, New York University Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2009-08-21 05:52:07 Logic Philosophical logic Non-classical logic Logical connectives Logical consequence Constructivism Intuitionistic logic Logical truth First-order logic Intuitionism Relevance logic Negation
33	A necessity priority modal and its interaction with tense in Korean Bokyung Mun (Georgetown University) Previous literature has revealed that the interaction of a modal with tense or aspect forms often gives rise to some Add to Reading List Source URL: www.macsim.us Language: English - Date: 2013-04-02 10:13:09 Modality Philosophy Grammar Linguistics Grammatical moods Non-classical logic Philosophical logic Linguistic modality Semantics Modal logic Grammatical aspect Shall and will
34	Solving the Paradoxes, Escaping Revenge Hartry Field New York University It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Non-classical logic Theories of truth Predicate logic Model theory Liar paradox Dialetheism Truth Saul Kripke
35	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
36	Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Logic Mathematical logic Model theory Ontology Philosophy Temporal logic Non-classical logic Philosophical logic Tbox Abox Modal logic Kripke structure
37	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
38	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
39	Classical Mechanics, Lecture 19 March 13, 2008 lecture by John Baez notes by Alex Hoffnung 1 Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2008-03-14 21:10:26 Mathematical analysis Mathematics Theoretical physics Operator theory Differential geometry Functional analysis Hilbert space Tensor product of Hilbert spaces Poisson manifold Cartesian closed category Linear temporal logic
40	FUZZY LOGIC BASED PREDICTION OF GEOGRAPHICAL SUITABILITY FOR WIND POWER GENERATION IN DOTSPATIAL Teva ~ Veluppillai Idaho Sate University Add to Reading List Source URL: www.mapwindow.org Language: English - Date: 2011-06-30 13:29:34 Energy Artificial intelligence Fuzzy logic Logic in computer science Non-classical logic Electrical engineering Wind turbine Wind Meteorology